@CHARSET "UTF-8";
.red {
  color: red;
}